4

Nisan-Wigderson generators in proof systems with forms of interpolation

Year:
2011
Language:
english
File:
PDF, 83 KB
english, 2011
12

Circuit lower bounds in bounded arithmetics

Year:
2015
Language:
english
File:
PDF, 487 KB
english, 2015